模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据......

目的分析绝经女性血脂与骨矿密度（BMD）、校正骨矿含量（cBMC）的关系。方法测量265例绝经女性身高、体重、腰围（W）、臀围（H）、收缩压（SBP）、舒......

对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电......

传感网是一种由具有感知、处理和无线通信能力的传感器节点通过自组织方式形成的一种多跳网络。随着传感网的迅速发展，传感网软件的......

XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中......

针对工业界实现的无线抄表路由协议WM2RP（Wireless Meter Reading Routing Protocol）,提出将CBMC有界模型检测工具运用到该协议实现......